Copyless cost-register automata: Structure, expressiveness, and closure properties

Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties

Cost register automata (CRA) and its subclass, copyless CRA, were recently proposed by Alur et al. as a new model for computing functions over strings. We study structural properties, expressiveness, and closure properties of copyless CRA. We show that copyless CRA are strictly less expressive than weighted automata and are not closed under reverse operation. To find a better class we impose re...

On the expressibility of copyless cost register automata

Cost register automata (CRA) were proposed by Alur et all as an alternative model for weighted automata. In hope of finding decidable subclasses of CRA, they proposed to restrict their model with the copyless restriction but nothing is really know about the structure or properties of this new computational model called copyless CRA. In this paper we study the properties and expressiveness of co...

Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata

It is highly desirable for a computational model to have a logic characterization like in the seminal work of Büchi that connects MSO with finite automata. For example, weighted automata are the quantitative extension of finite automata for computing functions over words and they can be naturally characterized by a subfragment of weighted logic introduced by Droste and Gastin. Recently, cost re...

ar X iv : 1 50 4 . 01 70 9 v 1 [ cs . F L ] 7 A pr 2 01 5 On the expressibility of copyless cost register automata

Cost register automata (CRA) were proposed by Alur et all as an alternative model for weighted automata. In hope of finding decidable subclasses of CRA, they proposed to restrict their model with the copyless restriction but nothing is really know about the structure or properties of this new computational model called copyless CRA. In this paper we study the properties and expressiveness of co...

Separation Logic - Expressiveness and Copyless Message-Passing